<meta http-equiv="content-type" content="application/xhtml+xml; charset=UTF-8" />
<meta name="author" content="JieJiSS" />
<meta name="description" content="The homepage of Tsinghua Highschool Computer Science Laboratory" />
<meta name="keywords" content="THSITG, THSCSLab, Tsinghua Highschool, 清华附中, 高等项目研究实验室, 高研实验室, 高研" />
<meta name="robots" content="index, follow, noarchive" />
<link rel="stylesheet" type="text/css" media="screen" href="/assets/css/index.css" />
<link rel="stylesheet" href="/assets/css/atom-one-light.css">
<link rel="stylesheet" href="/assets/css/mathml.css">
<script src="/assets/js/jquery-3.2.1.min.js" type="application/javascript"></script>
<script src="/assets/js/highlight.pack.js" type="application/javascript"></script>
<script type="application/javascript">
    function loaded() {
        var h1_text = $("#main h1")[1].innerText; // ["Description", ...]
        document.title = h1_text + " - THSCSLab";
		var titles = $("#main h1, #main h2");
		var sides = $("ul.sidemenu#sides");
        for(var i = 0; i < titles.length; i++) {
			var n = titles.get(i).innerText.replace(/\s/g, "").toLowerCase();
			titles.get(i).parentNode.insertBefore($("<a>").prop("name", n).get(0), titles[i]);
			var li = $('<li><a href="#' + n + '">');
            li.get(0).childNodes[0].innerText = titles.get(i).innerText;
            if(titles.get(i).nodeName.toLowerCase() === "h2") {
                $(li.get(0)).attr("class", "h2-side");
            }
			li.appendTo(sides);
        }
    }
    if (window.attachEvent) {  
        window.attachEvent("onload", loaded);
    } else if (window.addEventListener) {  
        window.addEventListener("DOMContentLoaded", loaded, false);
    } else {
        window.onload = loaded;
    }
</script>
